impl T for S {}
